A Testing Method for URC Robot Software
نویسندگان
چکیده
منابع مشابه
Proposing an Efficient Software-Based Method for Enhancing the Reliability of Critical Application Robot
Robots play such remarkable roles in humans’ modern lives that performing many tasks without them isimpossible. Using robotic systems is gradually increasing the tasks allocated to them and they are becomingmore complex and critical. Software reliability is one of the most significant requirements of robots. Forenhancing reliability, systems should be inherently designed to be tolerable of soft...
متن کاملCommunication protocol for the URC robot and server
⎯ A URC (Ubiquitous Robotic Companion) is a new concept for a network-based service robot. It allows the service robot to extend its functions and services by utilizing external sensor networks and remote computing servers. It also provides the robot’s services at any time and any place. The URC requires not only the hardware infrastructure such as ubiquitous networks or sensor networks and hig...
متن کاملSoftware Environment for Robot Control Solutions Design, Optimisation and Testing
In the present paper a software environment for the study and verification of robot control solutions is described. Such a tool is based on closed loop modelling and simulation in the integrated ADAMS-Simulink environment. The proposed method is applied to the study and optimization of the control of a prototypical system, constituted by a reconfigurable robot with parallel architecture and by ...
متن کاملA Rule-Based Software Testing Method for VHDL Models
The verification of behavioral models is an important step before transferring a hardware design to the layout. A popular approach is to use a variety of code coverage measures to evaluate how much of the design has been simulated. Common coverage measures include branch coverage and bit toggle coverage. This paper presents a test pattern generation approach based on controlflow and dataflow an...
متن کاملA Model Reduction Method for Parallel Software Testing
Modeling and testing for parallel software systems are very difficult, because the number of states and execution sequences expands significantly caused by parallel behaviors. In this paper, a model reduction method based on Coloured Petri Net (CPN) is shown, which could generate a functionality-equivalent and trace-equivalent model with smaller scale. Model-based testing for parallel software ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The KIPS Transactions:PartD
سال: 2007
ISSN: 1598-2866
DOI: 10.3745/kipstd.2007.14-d.6.657